($\forall$$x$,$y$$\in$$L$.$P$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L$$\parallel$}}$, $j$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$i$}}$. $P$($L$[$j$];$L$[$i$])